integration of cosec^2(x